Put manpages in section 3o instead of 3
authorJulien Cristau <julien.cristau@ens-lyon.org>
Tue, 19 May 2009 15:24:52 +0000 (17:24 +0200)
committerStéphane Glondu <glondu@debian.org>
Fri, 26 Dec 2025 11:48:51 +0000 (12:48 +0100)
Gbp-Pq: Name Put-manpages-in-section-3o-instead-of-3.patch

api_docgen/ocamldoc/Makefile

index 058f88c26d957736beb6077e3331b60319244f16..832cae7cb9589e867d7d3203e7281440b7d924ae 100644 (file)
@@ -61,6 +61,7 @@ build/libref/%.odoc: build/%.mld | build/libref
 ALL_COMPILED_DOC=$(ALL_DOC:%=build/%.odoc)
 build/man/Stdlib.3o: $(ALL_COMPILED_DOC) | build/man
        $(V_OCAMLDOC)$(OCAMLDOC_RUN) -man -d build/man -man-mini \
+       -man-section 3o \
        -nostdlib -hide Stdlib -lib Stdlib -t "OCaml library" \
        $(addprefix -load , $(ALL_COMPILED_DOC))